<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 2005-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="names" CONTENT="format_integer">
<META NAME="description" CONTENT="Formatter for integral numbers">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>format_integer Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="format_integer_chart.html">Chart</A></TD><TD><A HREF="format_integer_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "Formatter for integral numbers"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 2005-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    names: format_integer
    date: "$Date: 2008-05-24 02:24:07 +0200 (Sat, 24 May 2008) $"
    revision: "$Revision: 170 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>


<B>create</B> 
    <A NAME="f_make"><A HREF="../base/format_integer_flatshort.html#f_make">make</A> (w: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
        <B>require</B>
            reasonable_field: w &gt;= 1
        <B>ensure</B>
            blank_fill: <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = ' '
            show_sign_negative: <A HREF="../base/format_integer_flatshort.html#f_show_sign_negative">show_sign_negative</A>
            no_separator: <A HREF="../base/format_integer_flatshort.html#f_no_separator">no_separator</A>
            width_set: <A HREF="../base/format_integer_flatshort.html#f_width">width</A> = w
            right_justified: <A HREF="../base/format_integer_flatshort.html#f_right_justified">right_justified</A>
            leading_sign: <A HREF="../base/format_integer_flatshort.html#f_leading_sign">leading_sign</A>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialization</FONT>

    <A NAME="f_make"><A HREF="../base/format_integer_flatshort.html#f_make">make</A> (w: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
        <B>require</B>
            reasonable_field: w &gt;= 1
        <B>ensure</B>
            blank_fill: <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = ' '
            show_sign_negative: <A HREF="../base/format_integer_flatshort.html#f_show_sign_negative">show_sign_negative</A>
            no_separator: <A HREF="../base/format_integer_flatshort.html#f_no_separator">no_separator</A>
            width_set: <A HREF="../base/format_integer_flatshort.html#f_width">width</A> = w
            right_justified: <A HREF="../base/format_integer_flatshort.html#f_right_justified">right_justified</A>
            leading_sign: <A HREF="../base/format_integer_flatshort.html#f_leading_sign">leading_sign</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_bracketted_negative"><A HREF="../base/format_integer_flatshort.html#f_bracketted_negative">bracketted_negative</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enclose negative numbers in brackets?</FONT>

    <A NAME="f_fill_character"><A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A>: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Padding character.</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_justification"><A HREF="../base/format_integer_flatshort.html#f_justification">justification</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Where in the field the format goes.</FONT>

    <A NAME="f_separator"><A HREF="../base/format_integer_flatshort.html#f_separator">separator</A>: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Separator between 1000's of numbers.</FONT>

    <A NAME="f_sign_format"><A HREF="../base/format_integer_flatshort.html#f_sign_format">sign_format</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> How the sign is formatted.</FONT>

    <A NAME="f_sign_string"><A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Formatting details for the sign.</FONT>

    <A NAME="f_trailing_sign"><A HREF="../base/format_integer_flatshort.html#f_trailing_sign">trailing_sign</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the sign at the end?</FONT>

    <A NAME="f_width"><A HREF="../base/format_integer_flatshort.html#f_width">width</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Width of the field.</FONT>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_centered"><A HREF="../base/format_integer_flatshort.html#f_centered">centered</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to be formatted centered?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> = <A HREF="../base/format_integer_flatshort.html#f_center_justification">center_justification</A>)
</A>
    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_ignore_sign"><A HREF="../base/format_integer_flatshort.html#f_ignore_sign">ignore_sign</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Ignore the sign of a number?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_sign_format">sign_format</A> = <A HREF="../base/format_integer_flatshort.html#f_ignore_sign_value">ignore_sign_value</A>)
</A>
    <A NAME="f_leading_sign"><A HREF="../base/format_integer_flatshort.html#f_leading_sign">leading_sign</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the sign leading?</FONT>
        <B>ensure</B>
            <B>Result</B> = <B>not</B> <A HREF="../base/format_integer_flatshort.html#f_trailing_sign">trailing_sign</A>
</A>
    <A NAME="f_left_justified"><A HREF="../base/format_integer_flatshort.html#f_left_justified">left_justified</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to be formatted with spaces on the right?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> = <A HREF="../base/format_integer_flatshort.html#f_left_justification">left_justification</A>)
</A>
    <A NAME="f_no_separator"><A HREF="../base/format_integer_flatshort.html#f_no_separator">no_separator</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is there a separator?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = '%U')
</A>
    <A NAME="f_not_justified"><A HREF="../base/format_integer_flatshort.html#f_not_justified">not_justified</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to be formatted in smallest string possible</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> = <A HREF="../base/format_integer_flatshort.html#f_no_justification">no_justification</A>)
</A>
    <A NAME="f_right_justified"><A HREF="../base/format_integer_flatshort.html#f_right_justified">right_justified</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to be formatted with spaces on the left?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> = <A HREF="../base/format_integer_flatshort.html#f_right_justification">right_justification</A>)
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>
    <A NAME="f_show_sign"><A HREF="../base/format_integer_flatshort.html#f_show_sign">show_sign</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to show sign whether positive or negative?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_sign_format">sign_format</A> = <A HREF="../base/format_integer_flatshort.html#f_show_sign_value">show_sign_value</A>)
</A>
    <A NAME="f_show_sign_negative"><A HREF="../base/format_integer_flatshort.html#f_show_sign_negative">show_sign_negative</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to show sign only when negative?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_sign_format">sign_format</A> = <A HREF="../base/format_integer_flatshort.html#f_sign_negative_value">sign_negative_value</A>)
</A>
    <A NAME="f_show_sign_positive"><A HREF="../base/format_integer_flatshort.html#f_show_sign_positive">show_sign_positive</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are numbers to show sign only when positive?</FONT>
        <B>ensure</B>
            <B>Result</B> = (<A HREF="../base/format_integer_flatshort.html#f_sign_format">sign_format</A> = <A HREF="../base/format_integer_flatshort.html#f_sign_positive_value">sign_positive_value</A>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_asterisk_fill"><A HREF="../base/format_integer_flatshort.html#f_asterisk_fill">asterisk_fill</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill numbers with asterisks.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = '*'
</A>
    <A NAME="f_blank_fill"><A HREF="../base/format_integer_flatshort.html#f_blank_fill">blank_fill</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill numbers with blanks.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = ' '
</A>
    <A NAME="f_bracket_negative"><A HREF="../base/format_integer_flatshort.html#f_bracket_negative">bracket_negative</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bracket negative numbers.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_bracketted_negative">bracketted_negative</A>
</A>
    <A NAME="f_center_justify"><A HREF="../base/format_integer_flatshort.html#f_center_justify">center_justify</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Put padding on right and left</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_centered">centered</A>
</A>
    <A NAME="f_comma_separate"><A HREF="../base/format_integer_flatshort.html#f_comma_separate">comma_separate</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set separator to comma.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = ','
</A>
    <A NAME="f_dollar_fill"><A HREF="../base/format_integer_flatshort.html#f_dollar_fill">dollar_fill</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill numbers with dollars.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = '$'
</A>
    <A NAME="f_dot_separate"><A HREF="../base/format_integer_flatshort.html#f_dot_separate">dot_separate</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set separator to period.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = '.'
</A>
    <A NAME="f_left_justify"><A HREF="../base/format_integer_flatshort.html#f_left_justify">left_justify</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">Put padding on right</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_left_justified">left_justified</A>
</A>
    <A NAME="f_no_justify"><A HREF="../base/format_integer_flatshort.html#f_no_justify">no_justify</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always return the smallest string possible</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_not_justified">not_justified</A>
</A>
    <A NAME="f_remove_separator"><A HREF="../base/format_integer_flatshort.html#f_remove_separator">remove_separator</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Remove the separator.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = '%U'
</A>
    <A NAME="f_right_justify"><A HREF="../base/format_integer_flatshort.html#f_right_justify">right_justify</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Put padding on left</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_right_justified">right_justified</A>
</A>
    <A NAME="f_set_fill"><A HREF="../base/format_integer_flatshort.html#f_set_fill">set_fill</A> (c: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill numbers with </FONT>`c'
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = c
</A>
    <A NAME="f_set_separator"><A HREF="../base/format_integer_flatshort.html#f_set_separator">set_separator</A> (c: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the separator to </FONT>`c'
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = c
</A>
    <A NAME="f_set_sign"><A HREF="../base/format_integer_flatshort.html#f_set_sign">set_sign</A> (s: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign values for positive, zero, negative</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> All values must be the same length.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Stored as negative, zero, positive.</FONT>
        <B>require</B>
            s /= <B>Void</B>
            s.<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &gt;= 3
            s.<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> \\ 3 = 0
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> (s)
</A>
    <A NAME="f_set_width"><A HREF="../base/format_integer_flatshort.html#f_set_width">set_width</A> (w: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set width to </FONT>`w'
        <B>require</B>
            wide_enough: w &gt;= 1
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_width">width</A> = w
</A>
    <A NAME="f_sign_cr_dr"><A HREF="../base/format_integer_flatshort.html#f_sign_cr_dr">sign_cr_dr</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign for CR/DR</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> ("CR DR")
</A>
    <A NAME="f_sign_dr_cr"><A HREF="../base/format_integer_flatshort.html#f_sign_dr_cr">sign_dr_cr</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign for DR/CR</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> ("DR CR")
</A>
    <A NAME="f_sign_floating_dollar"><A HREF="../base/format_integer_flatshort.html#f_sign_floating_dollar">sign_floating_dollar</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign for floating dollar.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> ("$$$")
</A>
    <A NAME="f_sign_floating_dollar_signed"><A HREF="../base/format_integer_flatshort.html#f_sign_floating_dollar_signed">sign_floating_dollar_signed</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign for floating dollar include sign.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> ("-$ $+$")
</A>
    <A NAME="f_sign_ignore"><A HREF="../base/format_integer_flatshort.html#f_sign_ignore">sign_ignore</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Do not show sign.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_ignore_sign">ignore_sign</A>
</A>
    <A NAME="f_sign_leading"><A HREF="../base/format_integer_flatshort.html#f_sign_leading">sign_leading</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the sign to lead</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_leading_sign">leading_sign</A>
</A>
    <A NAME="f_sign_negative_only"><A HREF="../base/format_integer_flatshort.html#f_sign_negative_only">sign_negative_only</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Show sign for negative numbers only.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_show_sign_negative">show_sign_negative</A>
</A>
    <A NAME="f_sign_normal"><A HREF="../base/format_integer_flatshort.html#f_sign_normal">sign_normal</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set sign for - and +.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A>.<A HREF="../base/readable_string_8_flatshort.html#f_is_equal">is_equal</A> ("- +")
</A>
    <A NAME="f_sign_positive_only"><A HREF="../base/format_integer_flatshort.html#f_sign_positive_only">sign_positive_only</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Show sign for positive numbers only.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_show_sign_positive">show_sign_positive</A>
</A>
    <A NAME="f_sign_show"><A HREF="../base/format_integer_flatshort.html#f_sign_show">sign_show</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Show sign for all numbers.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_show_sign">show_sign</A>
</A>
    <A NAME="f_sign_trailing"><A HREF="../base/format_integer_flatshort.html#f_sign_trailing">sign_trailing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the sign to trail</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_trailing_sign">trailing_sign</A>
</A>
    <A NAME="f_unbracket_negative"><A HREF="../base/format_integer_flatshort.html#f_unbracket_negative">unbracket_negative</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Do not bracket negative numbers.</FONT>
        <B>ensure</B>
            <B>not</B> <A HREF="../base/format_integer_flatshort.html#f_bracketted_negative">bracketted_negative</A>
</A>
    <A NAME="f_underscore_separate"><A HREF="../base/format_integer_flatshort.html#f_underscore_separate">underscore_separate</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set separator to underscore.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_separator">separator</A> = '_'
</A>
    <A NAME="f_zero_fill"><A HREF="../base/format_integer_flatshort.html#f_zero_fill">zero_fill</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill numbers with zeros.</FONT>
        <B>ensure</B>
            <A HREF="../base/format_integer_flatshort.html#f_fill_character">fill_character</A> = '0'
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Conversion</FONT>

    <A NAME="f_formatted"><A HREF="../base/format_integer_flatshort.html#f_formatted">formatted</A> (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Format the integer.</FONT>
        <B>ensure</B>
            exists: <B>Result</B> /= <B>Void</B>
            correct_length: <A HREF="../base/format_integer_flatshort.html#f_not_justified">not_justified</A> <B>or</B> <B>Result</B>.<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> &gt;= <A HREF="../base/format_integer_flatshort.html#f_width">width</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
    sign_string_constraint: <A HREF="../base/format_integer_flatshort.html#f_sign_string">sign_string</A> /= <B>Void</B>
    wide_enough: <A HREF="../base/format_integer_flatshort.html#f_width">width</A> &gt;= 1
    <A HREF="../base/format_integer_flatshort.html#f_no_justification">no_justification</A> &lt;= <A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> <B>and</B> <A HREF="../base/format_integer_flatshort.html#f_justification">justification</A> &lt;= <A HREF="../base/format_integer_flatshort.html#f_right_justification">right_justification</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/format_integer_flatshort.html">FORMAT_INTEGER</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="format_integer_chart.html">Chart</A></TD><TD><A HREF="format_integer_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

